Towards an effective version of Mazur conjectureTEMPLIER, Nicolas.Comptes rendus. Mathématique. 2010, Vol 348, Num 23-24, pp 1245-1247, issn 1631-073X, 3 p.Article

Upward directedness of the Rudin-Keisler ordering of p-pointsLAFLAMME, C.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 449-456, issn 0022-4812, 8 p.Article

An abstract theoretical foundation of the geometry of digital spacesHERMAN, Gabor T.Lecture notes in computer science. 2002, pp 279-288, issn 0302-9743, isbn 3-540-43380-5Conference Paper

Axiomatic analysis of negotiation protocolsDONGMO ZHANG; FOO, Norman.Lecture notes in computer science. 2003, pp 377-389, issn 0302-9743, isbn 3-540-20646-9, 13 p.Conference Paper

A partition theorem for [0,1]FRÖMEL, H. J; VOIGT, B.Proceedings of the American Mathematical Society. 1990, Vol 109, Num 1, pp 281-285, issn 0002-9939, 5 p.Article

Negative membershipBLIZARD, W. D.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 346-368, issn 0029-4527, 23 p.Article

2-Nested simulation is not finitely equationally axiomatizableACETO, Luca; FOKKINK, Wan; INGOLFSDOTTIR, Anna et al.Lecture notes in computer science. 2001, pp 39-50, issn 0302-9743, isbn 3-540-41695-1Conference Paper

Minimal axiomatic system of fuzzy logical algebraZUWEI LIAO.Kybernetika. 1992, Vol 28, pp 65-71, issn 0023-5954, SUPArticle

Design of software systems based on axiomatic designSUN-JAE KIM; SUH, N. P; SANG-GOOK KIM et al.Robotics and computer-integrated manufacturing. 1991, Vol 8, Num 4, pp 243-255, issn 0736-5845Article

Σ1/2-sets of realsIHODA, J. I.The Journal of symbolic logic. 1988, Vol 53, Num 2, pp 636-642, issn 0022-4812Article

Definability in self-referential systemsSOBRINHO, J. Z.Notre Dame journal of formal logic. 1988, Vol 29, Num 4, pp 574-578, issn 0029-4527Article

Maximality in modal logicFLAGG, R. C; FRIEDMAN, H.Annals of pure and applied logic. 1987, Vol 34, Num 2, pp 99-118, issn 0168-0072Article

New axioms for mereologyLE BLANC, A.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 437-443, issn 0029-4527Article

The axioms and algebra of ambiguityFISHBURN, P. C.Theory and decision. 1993, Vol 34, Num 2, pp 119-137, issn 0040-5833Article

Sémantique axiomatique des langages à parallélisme de données (automatisation de la preuve de programmes) = Axiomatic semantics of data parallel language (automatic programme proof)Mounier, Laurent; Utard, Gil.1993, 48 p.Report

A note on simplices as geometric configurationsPFALZGRAF, J.Archiv der Mathematik. 1987, Vol 49, Num 2, pp 134-140, issn 0003-889XArticle

An axiomatic approach to self-referential truthFRIEDMAN, H; SHEARD, M; NERODE, A et al.Annals of pure and applied logic. 1987, Vol 33, Num 1, pp 1-21, issn 0168-0072Article

Maximal p-subgroups and the axiom of choiceHOWARD, P. E; YORKE, M.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 276-283, issn 0029-4527Article

On an implication connective of RMAVRON, A.Notre Dame journal of formal logic. 1986, Vol 27, Num 2, pp 201-209, issn 0029-4527Article

D-Branes, RR-Fields and Duality on Noncommutative ManifoldsBRODZKI, Jacek; MATHAI, Varghese; ROSENBERG, Jonathan et al.Communications in mathematical physics. 2008, Vol 277, Num 3, pp 643-706, issn 0010-3616, 64 p.Article

An axiomatic framework for engineering designHAZELRIGG, G. A.Journal of mechanical design (1990). 1999, Vol 121, Num 3, pp 342-347, issn 1050-0472Article

A note about the axioms for branching-time logicZANARDO, A.Notre Dame journal of formal logic. 1992, Vol 33, Num 2, pp 225-228, issn 0029-4527Article

Note on the logically simplest form of the infinity axiomPARLAMENTO, F; POLICRITI, A.Proceedings of the American Mathematical Society. 1990, Vol 108, Num 1, pp 285-286, issn 0002-9939Article

Positive Σ operations on ordinals and normal filters on greatly Mahlo cardinalsJECH, T.The Journal of symbolic logic. 1989, Vol 54, Num 1, pp 226-233, issn 0022-4812Article

Filtres et grands cardinaux = Filters and large cardinalsLEVINSKI, Jean-Pierre; STERN, Jacques.1986, 221 pThesis